Modal Logic
-----------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Logic](../Logic/README.md#logic)_

- - - -


### Web resources

[Modal Logic Playground](https://rkirsling.github.io/modallogic/) ★★★

[Modal Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-modal/) ★★

[history of philosophy - Are there any known precendents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers? - Philosophy Stack Exchange](https://philosophy.stackexchange.com/questions/115302/are-there-any-known-precendents-of-philosophers-using-modal-logic-or-any-other)

_(in [Coq](../Coq/README.md#coq))_ [coq - Defining Kripke models and the canonical model for $S4$ modal logic - Proof Assistants Stack Exchange](https://proofassistants.stackexchange.com/questions/2312/defining-kripke-models-and-the-canonical-model-for-s4-modal-logic) ★


### Papers

Mathematical Modal Logic: A View of its Evolution (online @ [homepages.ecs.vuw.ac.nz](https://homepages.ecs.vuw.ac.nz/~rob/papers/modalhist.pdf)) ★ [💭](commentary/Chris%20Pressey.md#mathematical-modal-logic-a-view-of-its-evolution)

The Relationship between the Topological Properties and Common Modal Logics (online @ [pubs.sciepub.com](https://pubs.sciepub.com/jmsa/4/1/5/index.html)) ★ [💭](commentary/Chris%20Pressey.md#the-relationship-between-the-topological-properties-and-common-modal-logics)

Topological semantics of modal logic (online @ [tsinghualogic.net](https://tsinghualogic.net/JRC/wp-content/uploads/2021/07/5thLecturewithReference.pdf)) ★★★ [💭](commentary/Chris%20Pressey.md#topological-semantics-of-modal-logic)

Topology, Connectedness, and Modal Logic (online @ [www.dcs.bbk.ac.uk](https://www.dcs.bbk.ac.uk/~roman/papers/aiml-08-55.pdf), [web.archive.org](https://web.archive.org/web/20240413205519/https://www.dcs.bbk.ac.uk/~michael/AiML-08.pdf)) ★ [💭](commentary/Chris%20Pressey.md#topology-connectedness-and-modal-logic)

A Modal Walk Through Space (online @ [web.archive.org](https://web.archive.org/web/20221001044857/https://www.cs.rug.nl/~aiellom/publications/lops2.pdf)) ★★ [💭](commentary/Chris%20Pressey.md#a-modal-walk-through-space)

The Situation Calculus: A Case for Modal Logic (online @ [ai.stanford.edu](https://ai.stanford.edu/~epacuit/socsit/lakemeyer.pdf)) [💭](commentary/Chris%20Pressey.md#the-situation-calculus-a-case-for-modal-logic)

Modal Mu-Calculi (online @ [www.julianbradfield.org](https://www.julianbradfield.org/Research/MLH-bradstir.pdf)) [💭](commentary/Chris%20Pressey.md#modal-mu-calculi)

_(in [Abstract Algebra](../Abstract%20Algebra/README.md#abstract-algebra))_ Interior Algebras and Varieties (online @ [core.ac.uk](https://core.ac.uk/download/pdf/81110356.pdf)) ★ [💭](commentary/Chris%20Pressey.md#interior-algebras-and-varieties)

_(in [Abstract Algebra](../Abstract%20Algebra/README.md#abstract-algebra))_ Varieties of Interior Algebras (online @ [eprints.illc.uva.nl](https://eprints.illc.uva.nl/id/eprint/1833/2/HDS-01-Wim_Blok.text.pdf)) [💭](commentary/Chris%20Pressey.md#varieties-of-interior-algebras)


### Books

Introductory Modal Logic (borrow @ [archive.org](https://archive.org/details/introductorymoda00kony)) ★★★ [💭](commentary/Chris%20Pressey.md#introductory-modal-logic)

First Steps in Modal Logic (borrow @ [archive.org](https://archive.org/details/firststepsinmoda0000popk)) ★★★ [💭](commentary/Chris%20Pressey.md#first-steps-in-modal-logic)

Dynamic Logic (borrow @ [archive.org](https://archive.org/details/dynamiclogicfoun00davi_0)) ★ [💭](commentary/Chris%20Pressey.md#dynamic-logic)

Modal Logic for Open Minds (borrow @ [archive.org](https://archive.org/details/modallogicforope0000bent)) ★ [💭](commentary/Chris%20Pressey.md#modal-logic-for-open-minds)